Contents
record ContT <R, M, A> (Func<Func<A, K<M, R>>, K<M, R>> runCont) Source #
where
M :Applicative<M>
The continuation monad transformer.
Can be used to add continuation handling to any type constructor:
the Monad trait-implementation and most of the operations do not
require M to be a monad.
Parameters
| type | R | |
| type | M | |
| type | A | |
| param | runCont | The continuation |